-
1 double recursion
-
2 double recursion
The English-Russian dictionary general scientific > double recursion
-
3 double recursion
Большой англо-русский и русско-английский словарь > double recursion
-
4 double recursion
Математика: двойная рекурсия -
5 double recursion
-
6 double recursion
The New English-Russian Dictionary of Radio-electronics > double recursion
-
7 double recursion
English-Russian dictionary of computer science and programming > double recursion
-
8 double recursion theorem
Математика: теорема о парной рекурсииУниверсальный англо-русский словарь > double recursion theorem
-
9 double recursion theorem
English-Russian scientific dictionary > double recursion theorem
-
10 recursion
вчт1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursion -
11 recursion
вчт.1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursionThe New English-Russian Dictionary of Radio-electronics > recursion
-
12 recursion
рекурсия double recursion potential recursion primitive recursion relative recursion uniform primitive recursion (математика) рекуррентная формула, рекуррентное соотношение (логика) рекурсия recursion вчт. рекурсия tail ~ вчт. концевая рекурсияБольшой англо-русский и русско-английский словарь > recursion
-
13 recursion
English-Russian dictionary of computer science and programming > recursion
-
14 recursion
1. n мат. рекуррентная формула, рекуррентное соотношение2. n лог. рекурсия -
15 recursion
1. рекурсия2. рекуррентныйThe English-Russian dictionary general scientific > recursion
-
16 recursion
English-Russian dictionary of Information technology > recursion
-
17 recursion
-
18 récursion double
сущ.выч. двойная рекурсия -
19 potential recursion
-
20 primitive recursion
- 1
- 2
См. также в других словарях:
Double recursion — In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non primitive recursive functions like the Ackermann function. Raphael M. Robinson called functions of two natural number… … Wikipedia
Theoreme de recursion de Kleene — Théorème de récursion de Kleene Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions… … Wikipédia en Français
Théorème de récursion de kleene — Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions récursives 2 Autre formes 3 … Wikipédia en Français
Théorème de récursion de Kleene — Ne doit pas être confondu avec Théorème de Kleene ni Théorème du point fixe de Kleene. En théorie de la calculabilité plusieurs théorèmes dus à à Kleene sont appelés théorèmes de la récursion. Ils établissent l existence de points fixes… … Wikipédia en Français
Ackermann function — In recursion theory, the Ackermann function or Ackermann Péter function is a simple example of a general recursive function that is not primitive recursive. General recursive functions are also known as computable functions. The set of primitive… … Wikipedia
Función de Ackermann — En teoría de la computación, la función de Ackermann es una función recursiva que toma dos números naturales como argumentos y devuelve un único número natural. Como norma general se define como sigue … Wikipedia Español
Van Emde Boas tree — A van Emde Boas tree (or van Emde Boas priority queue), also known as a vEB tree, is a tree data structure which implements an associative array with m bit integer keys. It performs all operations in O(log m ) time. Notice that m is the size of… … Wikipedia
Функция Аккермана — Функция Аккермана простой пример вычислимой функции, которая не является примитивно рекурсивной. Она принимает два неотрицательных целых числа в качестве параметров и возвращает натуральное число, обозначается . Эта функция растёт очень… … Википедия
Steve Russell — Infobox Scientist name = Stephen Russell image width = caption = birth date = 1937 birth place = death date = death place = residence = field = computer science work institution = alma mater = Dartmouth College known for = Spacewar! spouse =… … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Sierpiński curve — Sierpiński curves are a recursively defined sequence of continuous closed plane fractal curves discovered by Wacław Sierpiński, which in the limit n ightarrow infty completely fill the unit square: thus their limit curve, also called the… … Wikipedia
